first-order logic
un. 一阶逻辑
[网络] 初阶逻辑；一阶谓词演算或一阶逻辑；一阶述词逻辑
热门查询
- paraglide 滑翔 进行滑翔伞运动
- tool n. 工具，用具；器械，机床；手段 vt. 用工具给……加工 vi. 使用工具；用机床装备工厂
- Snodgrass [人名] [苏格兰人姓氏] 斯诺德格拉斯住所名称，来源于北方中世纪英语，含义是“平坦的+草地”(smooth+grass)
- barker n. [木] 剥皮机；剥树皮工；杂耍、戏院前叫喊招揽观众的人 n. (Barker)人名；(英、西)巴克；(阿拉伯、土、法、德)巴克尔
- Staveley [人名] 斯特夫利; [地名] [新西兰、英国] 斯泰弗利
- pitiable adj. 可怜的
- christological adj. 基督论的；基督性的
- Rebekah n. 丽贝卡（女子名）
- investigational 调查
- firewater n. 烈酒，火酒
- stoically adv. 坚忍地；恬淡寡欲地
- vindictive adj. 怀恨的；有报仇心的；惩罚的
- Sillitoe n. (Sillitoe)人名；(英)西利托
- constrict vt. 压缩；束紧
- myriad adj. 无数的；种种的 n. 无数，极大数量；无数的人或物
- grapheme n. 字素，字母
- demonstrative adj. 说明的；证明的；公开表露感情的 n. 指示词
- Tangier 丹吉尔 [摩洛哥北部港市]
- tasseled v. 抽穗, （玉米）长穗须( tassel的过去式和过去分词 ); 使抽穗, （为了使作物茁壮生长）摘去穗状雄花; 用流苏装饰
- providentially adv. 神助地；幸运地；照天意
